The badge looks this way:

Add the import { Badge } from '@astrojs/starlight/components'; after the frontmatter (--- stuff). And also update the stdlib snapshot locally :)

It will look better this way:

Hmm, but this one seems cleaner:

Or even

And the line in the table looks like this in .mdx:

$0$        | <Badge text="Since Tact 1.6" variant="tip"/> `SendDefaultMode{:tact}` | Ordinary message (default).

You can suggest and commit this change. In my opinion, it clutters the table.

The CI issue cannot be reproduced locally:

Any ideas? Why do we need this check at all?

The CI issue is NOT related to package.json. Instead, you just forgot to run yarn gen to re-generate the stdlib cache

Also, before we've merged this PR, I'd like to add a small change to it — to exclude the links to web ide from site search as they can really cripple its speed. I'm working on it.

UPD: The fix is to add data-pagefind-ignore in the links-to-web-ide.js like so:

// line 78
            '<a data-pagefind-ignore="all"',

@anton-trunov using it in the structure definition leads to the compilation error.

@jubnzv this one #879?

@anton-trunov yes